Valence and ownership: object desirability influences self-prioritization

Object Ownership and Containment

Object-oriented programming relies on inter-object aliases to implement data structures and other abstractions. Objects have mutable state, but it is when mutable state interacts with aliasing that problems arise. Through aliasing an object’s state can be changed without the object being aware of the changes, potentially violating the object’s invariants. This problem is fundamentally unresolva...

A Modified Desirability-Based Prioritization Technique For Software Requirements

This paper presents a methodology for requirement prioritization. The approach provides a flexible and realistic approach that considers all attributes of particular requirements and fuses them into a unified metric, representative of all quality criteria identified for a specific software project. The derived quality measurement can be used as the main metric for requirements prioritization. T...

Self-Prioritization in Perception 1 RUNNING HEAD: Self-Prioritization in Perception Self-prioritization beyond perception

Ownership Types for Object Synchronisation

Shared-memory concurrent programming is difficult and error prone because memory accesses by concurrent threads need to be coordinated through synchronisation, which relies on programmer discipline and suffers from a lack of modularity and compile-time support. This paper exploits object structures, provided by ownership types, to enable a structured synchronisation scheme which guarantees safe...

Object Ownership in Program Verification

Dealing with aliasing is one of the key challenges for the verification of imperative programs. For instance, aliases make it difficult to determine which abstractions are potentially affected by a heap update and to determine which locks need to be acquired to avoid data races. Object ownership was one of the first approaches that allowed programmers to control aliasing and to restrict the ope...